Specifying temporal knowledge for workflows ontologies
نویسندگان
چکیده
منابع مشابه
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows
In this paper, we present a characterization of workflows as labeled transition systems, focusing on an encoding of workflow specifications based on workflow patterns. This encoding models tasks in a convenient way, enabling us to exploit fluent linear time temporal logic formulas for capturing typical constraints on workflows. Fluents enable us to flexibly characterize the activities associate...
متن کاملSpecifying Ontologies: Linguistic Aspects in Problem-Driven Knowledge Engineering
The WWW includes on various levels systems of signs, not all of which are standardized as necessary for a real Semantic Web and not all of which can be standardized. Linguistic theories can contribute not only to the thus needed translation between sign systems, be they natural language systems or otherwise structured systems of knowledge representation, but also, of course, to standardization ...
متن کاملRuleML-based Ontologies for Specifying Learning Objects
An approach to building ontologies that assists in achieving interoperability among semantically heterogeneous learning objects and learners is presented. Current work focuses on building ontologies of learning objects, particularly course outlines. The ontology is implemented using the Rule Markup Language (RuleML), an XML-based standard. A RuleML representation allows the ontology to be flexi...
متن کاملTemporal Knowledge, Temporal Ontologies, and Temporal Reasoning for Managerial Tasks – an Attempt for a Survey
The paper is devoted to a variety of solutions aiming at taking time into account in economic and managerial analyses. It presents an example of a decision problem – namely the analysis of economic environment and of barriers to entry to a market space. Next, it shows how time can be treated in intelligent decision systems, in context of temporal knowledge representation and temporal reasoning.
متن کاملPerformance metrics and ontologies for Grid workflows
Many Grid workflow middleware services require knowledge about the performance behavior of Grid applications/services in order to effectively select, compose, and execute workflows in dynamic and complex Grid systems. To provide performance information for building such knowledge, Grid workflow performance tools have to select, measure, and analyze various performance metrics of workflows. Howe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Open Computer Science
سال: 2016
ISSN: 2299-1093
DOI: 10.1515/comp-2016-0020